The basic logical law of the argumentation of thinking is the law of sufficient reason. The law of sufficient reason is the first basic law of the logical thinking, and it's formal theorem is MP rule ( i.e.the rule of detachment). 反映思维论证性的逻辑基本规律是充足理由律,而且充足理由律是逻辑思维的第一位的基本规律,其形式语言表达式(形式定理)是MP规则(即分离规则)
The ideas about the law of sufficient reason can be traced back to the ancient Greece. 关于充足理由律的思想最早可追溯至古希腊。